Adding Binary Strings in Python